#define _CRT_SECURE_NO_WARNINGS

#include<stdio.h>
int main()
{
	int m, n;
	scanf("%d %d", &m, &n);

	int i;
	int max = 0;
	for (i = n; i >= m; i--)
	{
		if (i % 7 == 0 && i % 4 != 0)
		{
			max = i;
			break;
		}
	}

	if (max == 0)
		printf("no");
	else
		printf("%d", max);
	return 0;
}